Coloured Petri net scheduling models: Timed state space exploration shortages

The paper deals with the problem of timed state space generation and exploration in the frame of simulation–optimization pproach for discrete-event systems. Coloured Petri net representation of a system is considered and corresponding techniques f timed state space generation and timed simulation are addressed. It is shown that the established simulation techniques do not erform adequately in some application relevant examples since in general, only a subset of a timed state space of a simulated ystem is represented. Two examples are provided to illustrate the effect of timed state space reduction. While the optimal solution s preserved within the reduced state space in one example, in the second example this is not the case and the optimum is missed. his indicates that the timed simulation technique has to be carefully designed in order to be suitable for the simulation–optimization pproach. 2010 IMACS. Published by Elsevier B.V. All rights reserved.